Engineering Nearly Linear-time Algorithms for Small Vertex Connectivity
نویسندگان
چکیده
Vertex connectivity is a well-studied concept in graph theory with numerous applications. A k -connected if it remains connected after removing any −1 vertices. The vertex of the maximum such that -connected. There long history algorithmic development for efficiently computing connectivity. Recently, two near linear-time algorithms small were introduced by Forster et al. [SODA 2020]. Prior to that, best-known algorithm was one Henzinger [FOCS 1996] quadratic running time when small. In this article, we study practical performance addition, introduce new heuristic on key subroutine called local cut detection, which call degree counting. We prove improves space-efficiency (which can be good caching purposes) and allows terminate earlier. According experimental results random graphs planted cuts, hyperbolic graphs, real-world between 4 8, counting offers factor 2–4 speedup over original non-degree version almost 20 times some millions edges. It also outperforms previous state-of-the-art al., even relatively graphs.
منابع مشابه
Nearly Linear Time
The notion of linear-time computability is very sensitive to machine model. In this connection, we introduce a class NLT of functions computable in nearly linear time n(log n)O(1) on random access computers. NLT is very robust and does not depend on the particular choice of random access computers. Kolmogorov machines, Schonhage machines, random access Turing machines, etc. also compute exactl...
متن کامل4 Nearly - Linear Time Algorithms for Graph Partitioning , Graph Sparsification , and Solving Linear Systems preliminary draft
We develop nearly-linear time algorithms for approximately solving sparse symmetric diagonally-dominant linear systems. In particular, we present a linear-system solver that, given an n-by-n symmetric diagonally-dominant matrix A with m non-zero entries and an n-vector b, produces a vector x̃ satisfying ‖x̃ − x‖A ≤ ǫ, where x is the solution to Ax = b, in time m log m+O (m log(1/ǫ)) + n2 √ log n ...
متن کاملNearly-Linear Time Algorithms for Preconditioning and Solving Symmetric, Diagonally Dominant Linear Systems
We present a randomized algorithm that, on input a weakly diagonally dominant symmetric n-by-n matrix A with m non-zero entries and an n-vector b, produces an x̃ such that ‖x − x̃‖ A ≤ ǫ ‖x‖ A , where Ax = b, in expected time m log n log(1/ǫ). The algorithm applies subgraph preconditioners in a recursive fashion. These preconditioners improve upon the subgraph preconditioners first introduced by ...
متن کاملApproximating Small Balanced Vertex Separators in Almost Linear Time
For a graph G with n vertices and m edges, we give a randomized Las Vegas algorithm that approximates a small balanced vertex separator of G in almost linear time. More precisely, we show the following, for any 2 3 ≤ α < 1 and any 0 < ε < 1 − α: If G contains an α-separator of size K, then our algorithm finds an (α + ε)-separator of size O(ε−1K2 log n) in time O(ε−1K3m log n) w.h.p. In particul...
متن کاملConstructive Linear Time Algorithms for Small Cutwidth and Carving-Width
Consider the following problem: For any constant k and any input graph G, check whether there exists a tree T with internal vertices of degree 3 and a bijection mapping the vertices of G to the leaves of T such that for any edge of T, the number of edges of G whose end-points have preimages in diierent components of T ?e, is bounded by k. This problem is known as the Minimum Routing Tree Conges...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Journal of Experimental Algorithms
سال: 2022
ISSN: ['1084-6654']
DOI: https://doi.org/10.1145/3564822